Books by author Peter Dybjer

Showing 1 – 4 out of 4 results

1. 

   Category Theory and Computer Science

   David H. Pitt, David E. Rydehaerd, Peter Dybjer, Andrew M. Pitts | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   48.64 €

   Sale 7 %

   You save 4.08 €

   Buy
2. 

   Types for Proofs and Programs

   Peter Dybjer, Bengt Nordström, Jan Smith | Springer, Berlin, 1995

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.78 €

   Sale 7 %

   You save 4.29 €

   Buy
3. 

   Types for Proofs and Programs

   Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith | Springer, Berlin, 2000

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.78 €

   Sale 7 %

   You save 4.29 €

   Buy
4. 

   Applied Semantics

   Gilles Barthe, Peter Dybjer, Luis Pinto | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.78 €

   Sale 7 %

   You save 4.29 €

   Buy

We inform you about all changes of your order. Find out more